321. Automata, languages, and programming

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses,Machine theory, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA267
.
I23
2012eb

322. Automata, languages and programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Machine theory-- congresses,Formal languages-- Congresses,Programming (Electronic computers) -- Congresses

رده :
QA
267
.
A9228
1990

323. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
267
.
5
.
S4
C63
1977

324. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(

رده :
QA
267
.
5
.
S4
.
I47
1980

325. Automata, languages, and programming : 24th International Colloquium, ICALP 97 Bologna, Italy, July 7-11, 1997 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Machine theory - Congresses , Formal languages - Congresses , Programming )Electronic computers( - Congresses

رده :
QA
267
.
I57
1997

326. Automata, languages and programming: 18th International Colloquium, Madrid, Spain, July 8-12, 1991 proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Machine theory--Congresses,، Formal languages--Congresses,، Programming )Electronic Computers(--Congresses

رده :
QA
267
.
A9228
1991

327. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L4
v
.
226

328. Automata, languages, and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : Congresses ، Machine theory,Congresses ، Formal Languages,Congresses ، Programming languages )Electronic computers(

رده :
QA
267
.
I55
1985

329. Automated reasoning: 33 Base research problems

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming

رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988

330. Automated reasoning: introduction and applications

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers

رده :
QA
76
.
9
.
A96
A93
1984

331. Automatic correction and improvment of programs

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Artificial intelligence- Data processing,Programming (Electronic computers)

رده :
Q
،
336
،.
W47
،
1987

332. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ
,
223
,.
P76
,
B473
,
2007

333. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Programmable controllers,Programming languages )Electronic computers(,STEP 7 )Computer program language(,SIMATIC S7 )Computer system(

رده :
TJ
.
P76
,
B473
223
2009

334. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ223
.
P76B47
2009

335. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)

موضوع : Programmable controllers,Programming languages (Electronic computers),STEP 7 (Computer program language),SIMATIC S7 (Computer system)

رده :
TJ
,
223
,.
P76B47
,
2005

336. Automating with STEP 7 in STL and SCL

پدیدآورنده :

کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)

موضوع : Programmable controllers,Programming languages )Electronic computers(,STEP 7 )Computer program language(,SIMATIC S7 )Computer system(

رده :
TJ
223
.
B42A9
2009

337. Automating with STEP 7 in STL and SCL :programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76
B473

338. Automating with STEP 7 in STL and SCL :programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76B47
2009

339. Automating with STEP 7 in STL and SCL: programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Programmable controllers,، Programming languages )Electronic computers(,، STEP 7 )Computer program language(,، SIMATIC S7 )Computer system(

رده :
TJ
223
.
P76
B473
2009

340. Automating with STEP 7 in STL and SCL: programmable controllers SIMATIC S7-300/400

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Programmble controllers,Programming languages (Electronic computers),STEP 7 (computer program language),SIMATIC S7 (computer system)

رده :
TJ
،
223
،.
P76
,
B473
،
2007